ocaml24 Saturn A Library Of Verified Concurrent Data Structures For Ocaml 5 20.16 MB 24:28 Play Download
icfp24 Specification And Verification For Unrestricted Algebraic Effects And Handling 16.09 MB 19:32 Play Download
P4lru Towards An Lru Cache Entirely In Programmable Data Plane sigcomm23 S16 8.24 MB 10:00 Play Download
pldi24 Towards Trustworthy Automated Program Verifiers Formally Validating Translations Into 14.90 MB 18:05 Play Download
Cmmc 20 Control Sil13142 Provide Protection From Malicious Code At Designated Locations Withi 4.19 MB 5:05 Play Download
Nist 800171 Control 384 Mark Media With Necessary Cui Markings And Distribution Limitations 2.06 MB 2:30 Play Download
pldi23 Vmsl A Separation Logic For Mechanised Robust Safety Of Virtual Machines Communicating 14.89 MB 18:04 Play Download
